Равномощность множеств и кардинал

Множество $A$ **равномощно** множеству $B$, если существует биекция $f : A \to B$

Равномощность является **отношением эквивалентности**.

Классы равномощных множеств называются **мощностями**.

Каждому классу сопоставляется уникальное обозначение (имя, ключ, метка...), которое называется **кардинальным числом** или **кардиналом**. Кардинальные числа — обобщение обычных натуральных чисел с нулем.